.workbench {
  padding: 12px;
}

.info {
  margin-bottom: 12px;
}
